-
1 формальная аксиоматика
Русско-английский большой базовый словарь > формальная аксиоматика
-
2 формальная аксиоматика
-
3 формальная аксиоматика
Русско-английский словарь по информационным технологиям > формальная аксиоматика
-
4 формальная аксиоматика
Большой англо-русский и русско-английский словарь > формальная аксиоматика
-
5 формальная аксиоматика
Русско-английский технический словарь > формальная аксиоматика
-
6 формальная аксиоматика
Mathematics: formal axiomaticsУниверсальный русско-английский словарь > формальная аксиоматика
-
7 формальная аксиоматика
axiomatique f formelleРусско-французский политехнический словарь > формальная аксиоматика
-
8 формальная аксиоматика
Русско-английский физический словарь > формальная аксиоматика
-
9 формальная аксиоматика
Dictionnaire russe-français universel > формальная аксиоматика
-
10 формальная аксиоматика
Русско-английский словарь по вычислительной технике и программированию > формальная аксиоматика
-
11 формальная аксиоматика
Русско-английский математический словарь > формальная аксиоматика
-
12 формальная аксиоматика
Русско-английский научно-технический словарь Масловского > формальная аксиоматика
-
13 аксиоматика
-
14 аксиоматика
-
15 аксиоматика
ж. axiomatics -
16 аксиоматика
-
17 аксиоматика
Русско-английский новый политехнический словарь > аксиоматика
-
18 аксиоматика
Русско-английский словарь по информационным технологиям > аксиоматика
-
19 содержательная аксиоматика
Русско-английский большой базовый словарь > содержательная аксиоматика
-
20 содержательная аксиоматика
Русско-английский научный словарь > содержательная аксиоматика
См. также в других словарях:
Аксиоматика — Аксиоматика ♦ Axiomatique Совокупность аксиом, а иногда, в широком смысле, и совокупность выводов, которые можно сделать из этих аксиом, не прибегая к эмпирическим данным. Аксиоматика есть формальная гипотетико дедуктивная система.… … Философский словарь Спонвиля
История математики — История науки … Википедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
Аксиома — В Викисловаре есть статья «аксиома» Аксиома (др. греч … Википедия
МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… … Философская энциклопедия
Логика первого порядка — (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 … Википедия
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисления предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Логика предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия